-
1 evidence to the contrary
1) Математика: доказательство обратного2) Юридический термин: доказательство противногоУниверсальный англо-русский словарь > evidence to the contrary
-
2 proof by contradiction
1) Математика: доказательство от обратного, доказательство от противного2) Программирование: доказательство методом "от противного"Универсальный англо-русский словарь > proof by contradiction
-
3 reductio ad absurdum proof
Математика: (by) доказательство от противного, доказательство от обратногоУниверсальный англо-русский словарь > reductio ad absurdum proof
-
4 backward chaining
1) Общая лексика: использование обратной цепочки умозаключений (один из методов поиска решения в экспертных системах. Путь рассуждений идёт от того, что нужно доказать, к фактам, на которых основывается доказательство. При прямо)2) Компьютерная техника: вывод от цели к фактам, обратный логический вывод, обратный поиск4) Вычислительная техника: обратная цепочка рассуждений, обратное построение цепочки (напр. рассуждений от целевой гипотезы к исходным посылкам), обратный вывод (в экспертных системах), обратный (логический) вывод (в экспертных системах)5) Программирование: цепочка обратного [логического] вывода, использование метода "от цели к событиям"6) Автоматика: обратная цепочка умозаключений, обратное ( логическое) умозаключение (в экспертной системе) -
5 proof by contradiction, (by) reductio ad absurdum proof
Математика: доказательство от обратногоУниверсальный англо-русский словарь > proof by contradiction, (by) reductio ad absurdum proof
-
6 proof by contradiction, reductio ad absurdum proof
Математика: (by) доказательство от обратногоУниверсальный англо-русский словарь > proof by contradiction, reductio ad absurdum proof
-
7 backward chaining
обратная цепочка рассуждений, цепочка обратного [логического] выводаодин из методов поиска решения в экспертных системах. Путь рассуждений идёт от того, что нужно доказать, к фактам, на которых основывается доказательство. При прямой цепочке ход рассуждений начинается от фактов.Ant:см. тж. expert systemАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > backward chaining
См. также в других словарях:
Гипотеза Ходжа — Задачи тысячелетия Равенство классов P и NP Гипотеза Ходжа Гипотеза Пуанкаре Гипотеза Римана Квантовая теория Янга Миллса Существование и гладкость решений уравнений Навье Стокса Гипотеза Бёрча Свиннертон Дайера Гипотеза Ходжа… … Википедия
Жеребцова, Полина Викторовна — Полина Жеребцова Имя при рождении: Полина Викторовна Жеребцова Дата рождения … Википедия
Экскаватор — Видеть во сне приближающийся экскаватор с поднятым ковшом для женщин: если вам казалось, что у вас в жизни все до приторности спокойно, нет никаких интересных встреч и знакомств, то вот вам доказательство обратного сон говорит о том, что вскоре… … Cонник Фрейда
Функция Эйлера — Не следует путать с функцией распределения простых чисел. Первая тысяча значений Функция Эйлера φ(n) мультипликативная … Википедия
Шнобелевская премия — Викиновости по теме: Антинобелевские премии 2006 … Википедия
Коэффициент корреляции — (Correlation coefficient) Коэффициент корреляции это статистический показатель зависимости двух случайных величин Определение коэффициента корреляции, виды коэффициентов корреляции, свойства коэффициента корреляции, вычисление и применение… … Энциклопедия инвестора
СЕРДЦЕ — СЕРДЦЕ. Содержание: I. Сравнительная анатомия........... 162 II. Анатомия и гистология........... 167 III. Сравнительная физиология.......... 183 IV. Физиология................... 188 V. Патофизиология................ 207 VІ. Физиология, пат.… … Большая медицинская энциклопедия
ПРОНИЦАЕМОСТЬ — ПРОНИЦАЕМОСТЬ, способность перегородки или мембраны пропускать растворенные вещества. Если мембрана, пропуская одни вещества, задерживает другие, она называется полупроницаемой. Обычно полупроницаемые мембраны пропускают растворитель (напр. воду) … Большая медицинская энциклопедия
Александр II (часть 2, I-VII) — ЧАСТЬ ВТОРАЯ. Император Александр II (1855—1881). I. Война (1855). Высочайший манифест возвестил России о кончине Императора Николая и о воцарении его преемника. В этом первом акте своего царствования молодой Государь принимал пред лицом… … Большая биографическая энциклопедия
система — 4.48 система (system): Комбинация взаимодействующих элементов, организованных для достижения одной или нескольких поставленных целей. Примечание 1 Система может рассматриваться как продукт или предоставляемые им услуги. Примечание 2 На практике… … Словарь-справочник терминов нормативно-технической документации
Пушкин, Александр Сергеевич — — родился 26 мая 1799 г. в Москве, на Немецкой улице в доме Скворцова; умер 29 января 1837 г. в Петербурге. Со стороны отца Пушкин принадлежал к старинному дворянскому роду, происходившему, по сказанию родословных, от выходца "из… … Большая биографическая энциклопедия